3. .....................
پدیدآورنده : ]edited by Jerome Fox[
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Computer - Congresses,Machine theory - Congresses
رده :
TK
7885
.
S9
1971
4. AI*IA 2018 -- advances in artificial intelligence :
پدیدآورنده : Chiara Ghidini, Bernardo Magnini, Andrea Passerini, Paolo Traverso (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Artificial intelligence.,Artificial intelligence.,Computers-- Data Processing.,Computers-- Intelligence (AI) & Semantics.,Computers-- System Administration-- Storage & Retrieval.,Computers-- User Interfaces.,Information retrieval.,Mathematical theory of computation.,Mathematics-- Logic.,Public administration.,User interface design & usability.
رده :
Q334
5. Abstract State Machines, Alloy, B, TLA, VDM, and Z
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Machine learning -- Congresses,Machine theory -- Congresses,Machine learning,فراگیری ماشینی -- کنگره‌ها,نظریه ماشین -- کنگره‌ها,فراگیری ماشینی
رده :
E-Book
,
6. Abstract state machines 2003
پدیدآورنده : / Egon B?�rger, Angelo Gargantini, Elvinia Riccobene (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Machine theory--Congresses
رده :
QA
,
267
,.
A86
,
2003
7. Abstract state machines
پدیدآورنده : / Yuri Gurevich ... [et al.] (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Machine theory--Congresses
رده :
QA
,
267
,.
A25
,
2000
8. Abstract state machines, B and
پدیدآورنده : / Egon Beorger ... [et al.] (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Machine theory--Congresses,B method (Computer science)--Congresses,Z (Computer program language)--Congresses
9. Abstract state machines, B and Z
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : B method (Computer science) ; Congresses. ; Machine theory ; Congresses. ; Z (Computer program language) ; Congresses. ;
10. Abstract state machines 2004 : advances in theory and practice : 11th international workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004 : proceedings
پدیدآورنده : Wolf Zimmermann, Bernhard Thalheim )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Machine theory
رده :
QA
76
.
L28
Vol
.
3052
11. Abstract state machines 2003 : advances in theory and practice ; 10th international workshop, ASM 2003, Taormina, Italy, March 2003 : proceedings
پدیدآورنده : Egon Borger, Angelo Gargantini, Elvinia Riccobene )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Machine theory
رده :
QA
76
.
L28
Vol
.
2589
12. Abstract state machines, alloy, B and Z
پدیدآورنده : / Marc Frappier ... [et al.] (eds.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Machine theory, Congresses,B method (Computer science), Congresses,Z (Computer program language), Congresses,Machine learning, Congresses
رده :
QA267
.
A29
2010
13. Abstract state machines, alloy, B and Z : second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010 : proceedings
پدیدآورنده : Marc Frappier ... ]et al.[ )Eds.(
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : Congresses ، Machine theory,Congresses ، B method )Computer science(,Congresses ، Z )Computer program language(
رده :
QA
267
.
A26
2010
14. Abstract state machines : theory and applications : international workshop, ASM 2000, Monte Verita Switzerland, March 2000 : proceedings
پدیدآورنده : Yuri Gurevich...]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Machine theory
رده :
QA
76
.
L28
Vol
.
1912
15. Advanced computing and communication technologies :
پدیدآورنده : Jyotsna Kumar Mandal, Dhananjay Bhattacharyyqa, Nitin Auluck, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science, Congresses.,Electronic data processing, Congresses.,Information technology, Congresses.,Telecommunication systems, Congresses.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Electronic data processing.,Information technology.,Telecommunication systems.
رده :
QA75
.
5
16. Advanced design and manufacture III :
پدیدآورنده : edited by Daizhong Su, Qingbin Zhang, Shifan Zhu.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Engineering design -- Congresses.,Manufacturing processes -- Congresses.,Materials -- Congresses.
رده :
TA401
.
E358
2011
17. Advanced research in applied artificial intelligence :
پدیدآورنده : Moonis Ali [and others] (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence -- Congresses -- Industrial applications.,Artificial intelligence -- Congresses.,Intelligent agents (Computer software) -- Congresses.
18. Advances and trends in artificial intelligence :
پدیدآورنده : Franz Wotawa, Gerhard Friedrich, Ingo Pill, Roxane Koitz-Hristov, Moonis Ali (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Artificial intelligence.
رده :
Q334
.
I58
2019
19. Advances in Communication, Devices and Networking :
پدیدآورنده : Rabindranath Bera, Subir Kumar Sarkar, Om Prakash Singh, Hemanta Saikia, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer networks, Congresses.,Wireless communication systems, Congresses.,Computer networks.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Wireless communication systems.
رده :
TK5105
.
5
